;;; The kernel entry point

[bits 32]

global _start
extern kmain

_start:
	call kmain
	hlt
